Optimal. Leaf size=730 \[ \frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \log \left (1-i e^{-i \sin ^{-1}(c x)}\right ) \left (a+b \sin ^{-1}(c x)\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \sec ^2\left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \sec ^2\left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \sin ^{-1}(c x)}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.29, antiderivative size = 730, normalized size of antiderivative = 1.00, number of steps used = 25, number of rules used = 16, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {4673, 4775, 4641, 4677, 4619, 261, 4773, 3318, 4186, 3767, 8, 4184, 3717, 2190, 2279, 2391} \[ -\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {PolyLog}\left (2,i e^{-i \sin ^{-1}(c x)}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \log \left (1-i e^{-i \sin ^{-1}(c x)}\right ) \left (a+b \sin ^{-1}(c x)\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \sec ^2\left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \sec ^2\left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right ) \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(c d x+d)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \tan \left (\frac {1}{2} \sin ^{-1}(c x)+\frac {\pi }{4}\right )}{3 c (c d x+d)^{5/2} (e-c e x)^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 261
Rule 2190
Rule 2279
Rule 2391
Rule 3318
Rule 3717
Rule 3767
Rule 4184
Rule 4186
Rule 4619
Rule 4641
Rule 4673
Rule 4677
Rule 4773
Rule 4775
Rubi steps
\begin {align*} \int \frac {(d+c d x)^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{(e-c e x)^{5/2}} \, dx &=\frac {\left (1-c^2 x^2\right )^{5/2} \int \frac {(d+c d x)^5 \left (a+b \sin ^{-1}(c x)\right )^2}{\left (1-c^2 x^2\right )^{5/2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {\left (1-c^2 x^2\right )^{5/2} \int \left (\frac {5 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}}+\frac {c d^5 x \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}}+\frac {8 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x)^2 \sqrt {1-c^2 x^2}}+\frac {12 d^5 \left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x) \sqrt {1-c^2 x^2}}\right ) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {\left (5 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x)^2 \sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (12 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {\left (a+b \sin ^{-1}(c x)\right )^2}{(-1+c x) \sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {x \left (a+b \sin ^{-1}(c x)\right )^2}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (12 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {(a+b x)^2}{-c+c \sin (x)} \, dx,x,\sin ^{-1}(c x)\right )}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \left (a+b \sin ^{-1}(c x)\right ) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {(a+b x)^2}{(-c+c \sin (x))^2} \, dx,x,\sin ^{-1}(c x)\right )}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \sin ^{-1}(c x) \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int (a+b x)^2 \csc ^4\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (6 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int (a+b x)^2 \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {12 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (4 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int (a+b x)^2 \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (24 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int (a+b x) \cot \left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (8 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \csc ^2\left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (2 b^2 c d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \int \frac {x}{\sqrt {1-c^2 x^2}} \, dx}{(d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {12 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (16 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int (a+b x) \cot \left (\frac {\pi }{4}-\frac {x}{2}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {e^{-i x} (a+b x)}{1-i e^{-i x}} \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int 1 \, dx,x,\cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {48 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 b d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {e^{-i x} (a+b x)}{1-i e^{-i x}} \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \log \left (1-i e^{-i x}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {\left (48 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \log \left (1-i e^{-i x}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {48 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \sin ^{-1}(c x)}\right )}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {\left (32 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2}\right ) \operatorname {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ &=\frac {2 a b d^5 x \left (1-c^2 x^2\right )^{5/2}}{(d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 \left (1-c^2 x^2\right )^3}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {2 b^2 d^5 x \left (1-c^2 x^2\right )^{5/2} \sin ^{-1}(c x)}{(d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 i d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {d^5 \left (1-c^2 x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2}{c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {5 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^3}{3 b c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {16 b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \cot \left (\frac {\pi }{4}-\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \log \left (1-i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {112 i b^2 d^5 \left (1-c^2 x^2\right )^{5/2} \text {Li}_2\left (i e^{-i \sin ^{-1}(c x)}\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {8 b d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right ) \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}-\frac {28 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}+\frac {4 d^5 \left (1-c^2 x^2\right )^{5/2} \left (a+b \sin ^{-1}(c x)\right )^2 \sec ^2\left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right ) \tan \left (\frac {\pi }{4}+\frac {1}{2} \sin ^{-1}(c x)\right )}{3 c (d+c d x)^{5/2} (e-c e x)^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 13.29, size = 2312, normalized size = 3.17 \[ \text {Result too large to show} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.44, size = 0, normalized size = 0.00 \[ {\rm integral}\left (-\frac {{\left (a^{2} c^{2} d^{2} x^{2} + 2 \, a^{2} c d^{2} x + a^{2} d^{2} + {\left (b^{2} c^{2} d^{2} x^{2} + 2 \, b^{2} c d^{2} x + b^{2} d^{2}\right )} \arcsin \left (c x\right )^{2} + 2 \, {\left (a b c^{2} d^{2} x^{2} + 2 \, a b c d^{2} x + a b d^{2}\right )} \arcsin \left (c x\right )\right )} \sqrt {c d x + d} \sqrt {-c e x + e}}{c^{3} e^{3} x^{3} - 3 \, c^{2} e^{3} x^{2} + 3 \, c e^{3} x - e^{3}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (c d x + d\right )}^{\frac {5}{2}} {\left (b \arcsin \left (c x\right ) + a\right )}^{2}}{{\left (-c e x + e\right )}^{\frac {5}{2}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.30, size = 0, normalized size = 0.00 \[ \int \frac {\left (c d x +d \right )^{\frac {5}{2}} \left (a +b \arcsin \left (c x \right )\right )^{2}}{\left (-c e x +e \right )^{\frac {5}{2}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {1}{3} \, {\left (\frac {3 \, {\left (-c^{2} d e x^{2} + d e\right )}^{\frac {5}{2}}}{c^{5} e^{5} x^{4} - 4 \, c^{4} e^{5} x^{3} + 6 \, c^{3} e^{5} x^{2} - 4 \, c^{2} e^{5} x + c e^{5}} + \frac {5 \, {\left (-c^{2} d e x^{2} + d e\right )}^{\frac {3}{2}} d}{c^{4} e^{4} x^{3} - 3 \, c^{3} e^{4} x^{2} + 3 \, c^{2} e^{4} x - c e^{4}} - \frac {10 \, \sqrt {-c^{2} d e x^{2} + d e} d^{2}}{c^{3} e^{3} x^{2} - 2 \, c^{2} e^{3} x + c e^{3}} - \frac {35 \, \sqrt {-c^{2} d e x^{2} + d e} d^{2}}{c^{2} e^{3} x - c e^{3}} - \frac {15 \, d^{3} \arcsin \left (c x\right )}{c e^{3} \sqrt {\frac {d}{e}}}\right )} a^{2} - \sqrt {d} \sqrt {e} \int \frac {{\left ({\left (b^{2} c^{2} d^{2} x^{2} + 2 \, b^{2} c d^{2} x + b^{2} d^{2}\right )} \arctan \left (c x, \sqrt {c x + 1} \sqrt {-c x + 1}\right )^{2} + 2 \, {\left (a b c^{2} d^{2} x^{2} + 2 \, a b c d^{2} x + a b d^{2}\right )} \arctan \left (c x, \sqrt {c x + 1} \sqrt {-c x + 1}\right )\right )} \sqrt {c x + 1} \sqrt {-c x + 1}}{c^{3} e^{3} x^{3} - 3 \, c^{2} e^{3} x^{2} + 3 \, c e^{3} x - e^{3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {{\left (a+b\,\mathrm {asin}\left (c\,x\right )\right )}^2\,{\left (d+c\,d\,x\right )}^{5/2}}{{\left (e-c\,e\,x\right )}^{5/2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________